NVVM IR Specification 1.2

Source URL: docs.nvidia.com

• Compiler construction
• Pointer
• LLVM
• Intrinsic function
• Memory ordering
• Subroutine
• C
• ECL programming language
• Software engineering
• Computing
• Computer programming

Interface-Based Protocol Specification of Open Systems using PSL Doug Lea Jos Marlowe SUNY at Oswego / NY CASE Center

Source URL: gee.cs.oswego.edu

• CORBA
• Computer programming
• Inter-process communication
• Component-based software engineering
• Remote procedure call
• Common Object Request Broker Architecture
• IDL
• Interface description language
• Object request broker
• Software engineering
• Computing
• Object-oriented programming

Complete JavaServer Faces This comprehensive five-day course shows Java programmers how to build web applications with JavaServer Faces 2.0. We develop the best-practice concepts that are formalized by the JSF architect

Source URL: www.batky-howell.com

• JavaServer Faces
• Java specification requests
• Java programming language
• Facelets
• Unified Expression Language
• Model–view–controller
• Java Platform
• Enterprise Edition
• Java Servlet
• Java: View Technologies and Frameworks
• Computing
• Web application frameworks
• Java enterprise platform

AN ECLECTIC COMPREHENSIVE APPROACH TO THE V&V OF SOFTWARE MODULES Ali Mili, NJIT NII, Tokyo, Japan January 13, 2012

Source URL: www.nii.ac.jp

• Computing
• Technology
• Modularity
• Product management
• Programming language
• Object-oriented programming
• Software design
• Specification
• Formal specification
• Holism
• Programming paradigms
• Formal methods

Status report on JSR-305: Annotations for Software Defect Detection David Hovemeyer William Pugh

Source URL: faculty.ycp.edu

• Cross-platform software
• Java programming language
• Java specification requests
• Java Community Process
• Java Platform
• Standard Edition
• Java Management Extensions
• Annotation
• Java
• JSR 250
• Computing
• Java platform
• Computing platforms

SEGGER Microcontroller GmbH & Co. KG J-Link Debugger Script File Specification J-Link Debugger uses script files as project files. A J-Link Debugger Script File contains functions which are parsed and executed on variou

Source URL: download.segger.com

• C++
• C POSIX library
• C programming language
• C syntax
• Source code
• Exec
• C++ classes
• Reference
• ALGOL 68
• Computing
• Computer programming
• Software engineering

Dart プログラミング言語仕様書（第 2 版） Dart Programming Language Specification Version 2 ECMA-408 December 2014 © 2014 Ecma International

Source URL: www.cresc.co.jp

ACSL: ANSI/ISO C Specification Language Version 1.7 ACSL: ANSI/ISO C Specication Language Version 1.7

Source URL: frama-c.com

• Data types
• C programming language
• Primitive types
• Procedural programming languages
• Pointer
• C
• ANSI/ISO C Specification Language
• Pascal
• Logic programming
• Software engineering
• Computing
• Computer programming

ACSL: ANSI/ISO C Specification Language Preliminary design (version 1.3, July 11, 2008) Patrick Baudin1 , Jean-Christophe Filliâtre4,3 , Claude Marché3,4 , Benjamin Monate1 , Yannick Moy2,4,3 , Virgile Prevosto1

Source URL: frama-c.com

• C programming language
• ANSI/ISO C Specification Language
• Frama-C
• Java Modeling Language
• KeY
• Programming language
• C
• SQL
• Specification
• Computing
• Software engineering
• Programming language theory

An Exercise in Fault Tolerance Einar Broch Johnsen Department of Informatics, University of Oslo Abstract In this paper fault tolerance issues are addressed in system development using the specification language OUN [8].

Source URL: www.nik.no

• Freedesktop.org
• X Window System
• ALGOL 68
• Regular expression
• Computing
• Software
• Procedural programming languages